module {echo, read} -> [mainMenu,
    credits]
